21. روش تحقیق
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : تحقیق,منطق صوری و ریاضی
رده :
Q
۱۸۰
/
خ
۹
22. شرایط صورى تعریف
پدیدآورنده : رحمت اللّه رضایى , محمد حسین زاده
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : تعریف زبانی;منطق صوری;تعریف منطقی;شرایط تعریف منطقی;امور بدیهی;منطق;,معرِف بسیط;معرِف مرکب;حد تام;حد ناقص;مرکب بودن معرف;بساطت فصل;مرکب بودن فکر;مطابقت حد و محدود;خلط منطق و متافیزیک;ترتیب اجزاء معرِّف;تقدم جنس بر فصل;ابهام جزء عام;معنای عمومیت جنس;تقدم جزء بر کل;تقدم ماده بر صورت;همانی ساختار ذهن و ساختار طبیعت;عمومیت معر
23. صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
پدیدآورنده : حجتی سیدمحمدعلی, عامری وحیده
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : صوری سازی;منطق گزاره ها;فرگه;ثوابت منطقی;اعتبار;
24. قوانين منطق صوري
پدیدآورنده : محمد خوانساري
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : منطق صوري
رده :
BC
117
/
خ
9
/
ق
9
25. قوانين منطق صوري
پدیدآورنده : مولف
کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (تهران)
موضوع : منطق صوري
رده :
BC50
.
X3
26. مبا‌دی منطق و ریاضی جدید
پدیدآورنده : تا‌لیف غلامرضا عسجدی
موضوع : ریا‌ضیا‌ت,منطق صوری و ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. مبا‌نی نظریه محا‌سبا‌ت (نظریه زبا‌ن‌ها و ما‌شین‌ها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبا‌نها‌ی صوری,نظریه ما‌شین,منطق ریاضی,پیچیدگی محا‌سبا‌تی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
28. متواترات چیست؟ و در کجای صناعت منطقی بکار می‌رود؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : صناعات خمس;استدلال شناسی;متواترات;صناعت برهان ;منطق;,منطق صوری;معلومات صحیح;حدسیات ;تجربیات;مخبرٌ عنه;اولیات;منطق مادی;یقینیات;قیاس برهانی;مشاهدات (وجدانیات و حسیات);فطریات;
29. مجموعه سوال های کارشناسی ارشد منطق صوری 2و1
پدیدآورنده : گردآورنده محسن خادمی,خادمی? محسن
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : منطق صوری آزمون ها و تمرین ها )عالی( منطق راهنماهای آموزشی )عالی( آزمون دوره های تحصیلات تکمیلی ایران
رده :
LB
2353
/
خ
2
م
39
30. مدخل منطق صورت
پدیدآورنده : / نگارش غلامحسین مصاحب
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : منطق صوری ریاضی
رده :
QA
۹
/
م
۶
م
۴
31. مدخل منطق صورت یا منطق ریاضی
پدیدآورنده : نگارش غلامحسین مصاحب
موضوع : منطق صوری و ریاضی
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
32. معیارهای تمایز دلالت تضمنی و التزامی از مجاز در لفظ
پدیدآورنده : محمد حسین وفائیان , زینب برخورداری
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : استعمال لفظ;حقیقت و مجاز;دلالت های سه گانه;دلالت لفظی;معنای موضوع له;فلسفه (عام);,منطق صوری;مبحث الفاظ;دلالات لفظی;دلالات عقلی;انتقال از لفط به معنا;مبحث الفاظ در اصول فقه;اراده متکلم;شروط دلالات ثلاث;مجاز در علم اصول;تلازم بین بالمعنی الاخص;شروط مجاز;دلالت های تصوری محض;دلالت مجازی;دلالت حقیقی;
33. منطق
پدیدآورنده : تأليف عباسقلي خواجه نوري
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : منطق صوري و رياضي
رده :
QA
9
/
خ
9
م
9
34. منطق: برنا‌مه دوره لیسا‌نس موسسه آموزش عالی آما‌ر
پدیدآورنده : خواجه‌نوری، عبا‌سقلی ۱۲۹۴-
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : منطق صوری و ریاضی
رده :
QA
۹
/
خ
۹
م
35. منطق سمبليک
پدیدآورنده : نوشته سوزان لنگر,ترجمه منوچهر بزرگمهر
کتابخانه: كتابخانه عمومی شهريار (آذربایجان شرقی)
موضوع : منطق صوري و رياضي
رده :
511
/3
ل
677
م
36. منطق سمبلیک
پدیدآورنده : لنگر، سوزان کا‌ترینا(کنا‌ث) Langer, Susanne Katherina)Knauth( ۱۸۹۵-
کتابخانه: كتابخانه عمومی زهرائیه نجف آباد (اصفهان)
موضوع : منطق صوری و ریاضی
رده :
۵۱۱
/
۳
ل
۶۷۷
م
37. منطق سمبليك
پدیدآورنده : نوشته سوزان لنگر؛ ترجمه منوچهر بزرگمهر
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : منطق صوري و رياضي
38. منطق صوري
پدیدآورنده : تاليف محمد خوانساري
کتابخانه: کتابخانه پردیس ابوریحان دانشگاه تهران (تهران)
موضوع : منطق صوري
رده :
BC
50
83
م
،
94
خ
/
39. منطق صوری
پدیدآورنده : خوانسا‌ری، محمد
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : منطق,منطق صوری
رده :
BC
78
.
P4
.
K5
1363
